321. Semantics for concurrency : proceedings of the International BCS-FACS Workshop
پدیدآورنده : sponsored by Logic for IT )S.E.R.C.(, 23-25 July 1990, University of Leicester, UK ; )editors( M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Parallel programming )Computer science( - Congresses,Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
.
I56
76
.
642
1990
322. Semantics of concurrent computation :
پدیدآورنده : edited by Gilles Kahn.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers) -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Traitement simultané (Ordinateurs) -- Congrès.
رده :
QA76
.
6
E358
1979
323. Semantics of data types :
پدیدآورنده : edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.
324. Simulated evolution and learning :
پدیدآورنده : Xin Yao, Jong-Hwan Kim, Takeshi Furuhashi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Computer simulation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithmes génétiques-- Congrès.,Artificial intelligence.,Computer simulation.,Computersimulaties.,Evolutionärer Algorithmus,Evolutionary programming (Computer science),Fuzzy-Logik,Genetischer Algorithmus,Inteligencia artificial (computacao),Intelligence artificielle-- Congrès.,Kongress,Künstliches Leben,Machine-learning.,Neuronales Netz,Simulation par ordinateur-- Congrès.
رده :
QA76
.
9
.
C65
S42
1996
325. Software engineering and formal methods :
پدیدآورنده : Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
758
.
I58
2011
326. Special issue of the International Multiconference of Engineers and Computer Scientists 2012
پدیدآورنده : Gi-Chul Yang [and others], editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering -- Congresses.,Engineering -- Congresses.,Software engineering -- Congresses.
رده :
TA5
.
G534
2013
327. Static analysis: 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004: proceedings
پدیدآورنده : Roberto Giacobazzi )ed.(
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
I5733
2004
328. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
پدیدآورنده : edited by Harmut Ehrig...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
249-250
329. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
330. Theoretical aspects of computing -- ICTAC 2013 :
پدیدآورنده : Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
331. Theoretical computer science :
پدیدآورنده : edited by Lian Li, Pinyan Lu, Kun He.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
332. Theory and practice of natural computing :
پدیدآورنده : David Fagan, Carlos Martín-Vide, Michael O'Neill, Miguel A. Vega-Rodríguez (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Natural computation, Congresses.,Artificial intelligence.,Natural computation.
رده :
QA76
.
9
.
A43
333. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998
پدیدآورنده : editors, Masahiko Sato, Yoshihito Toyama
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
62
.
F84
1998
334. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-14, 1998
پدیدآورنده : editors, Masahiko Sato, Yoshihito Toyama
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Functional programming )Computer science( - Congresses , Logic programming - Congresses
رده :
QA
76
.
62
.
F84
1998
335. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 Proceedings
پدیدآورنده : edited by Ehud Shapiro
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L4
v
.
225
336. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986: Proceedings
پدیدآورنده : edited by Ehud Y. Shapiro
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
225
337. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
پدیدآورنده : edited by Ehud Shapiro.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
رده :
QA76
.
6
E358
1986
338. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
339. Topics in theoretical computer science :
پدیدآورنده : Luís S. Barbosa, Mohammad Ali Abam (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
340. Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on )Trans( Actions and Change in Logic Programming and Deductive Databases, )DYNAMICS'97(, Port...Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers
پدیدآورنده : Burkhard Freitag...]et al.[, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Deductive databases,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1472
